minimization of DFA using myhill nerode theorem